noções de lógica pc sp